Introduce axioms founded by experience